home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Environments / Clean 1.2.4 / IO Examples / Turing / bininc.tm < prev    next >
Encoding:
Text File  |  1993-04-05  |  219 b   |  14 lines  |  [TEXT/????]
  1. S    #  ->  S1   L
  2. S1   1  ->  S1   L
  3. S1   0  ->  S1   L
  4. S1   #  ->  q1   R
  5. q1   0  ->  qR   1
  6. q1   1  ->  q2   0
  7. q1   #  ->  qR   1
  8. q2   0  ->  q1   R
  9. qR   1  ->  qR   R
  10. qR   0  ->  qR   R
  11. qR   #  ->  S    #
  12.  
  13. Tape:
  14. #0#